On the Logic of Defaults
نویسنده
چکیده
We present an alternative int’erpretation of defaults which draws on probability theory and notions of relevance. The result is a syst,em made up of a body of six rules which appears t’o overcome some of the weaknesses of other non-monotonic logics proposed in AI. We also analyze several examples and discuss some of the issues t#hat require further research.
منابع مشابه
A Framework for Cumulative Default Logics
We present a framework for default reasoning which has its roots in Reiter's Default Logic. Contrary to Reiter, however, we do not consider defaults as inference rules used to generate extensions of a classical set of facts. In our approach defaults are elements of the logical language, and we will deene inference rules on defaults. This has several advantages. First of all, we can reason about...
متن کاملThe Modal Logic S4F, the Default Logic, and the Logic Here-and-There
The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults — modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and...
متن کاملHierarchical Defaults in Specifications
The goal of this paper is to explain the usage and semantics of hierarchical defaults in logical specifications. We discuss the usefulness of defaults for different specification scenarios like specialization, aggregation, explanation, revision, etc. To understand defaults formally, we introduce a general framework parameterized on the underlying logical institution extended by an instantiation...
متن کاملHow to Prefer More Speci c Defaults
In a recent paper we have proposed terminological default logic as a formalism which combines both means for structured representation of classes and objects, and for default inheritance of properties. The major drawback which terminological default logic inherits from general default logic is that it does not take precedence of more speciic defaults over more general ones into account. This be...
متن کاملSemantics for Constrained and Rational Default Logics
The default nonmonotonic reasoning was formalised by a class of logical systems: default logics (classical, justified, constrained, rational), based on the same syntax which utilises nonmonotonic inference rules: defaults, but with different semantics for the defaults. In this paper we introduce a uniform semantic characterisation for the constrained and rational extensions of a default theory....
متن کاملHierarchical Defaults in Speciications
The goal of this paper is to explain the usage and semantics of hierarchical defaults in logical speciications. We discuss the usefulness of defaults for diierent speciication scenarios like specialization, aggregation, explanation, revision, etc. To understand defaults formally, we introduce a general framework parameterized on the underlying logical institution extended by an instantiation me...
متن کامل